More from this Author

Formal Methods for Components and Objects

by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)

Formal Methods for Components and Objects

by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)

Formal Methods for Components and Objects

by Frank S. de Boer (Volume Editor), Marcello M. Bonsangue (Editor), Eric Madelaine (Editor)

Formal Methods for Components and Objects

by Bernhard K. Aichernig (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)

Formal Methods for Components and Objects

by Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)

Formal Methods for Components and Objects

by Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor), Frank S. De Boer (Editor)

Formal Methods for Components and Objects

by Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Susanne Graf (Editor), Willem-Paul de Roever (Editor)

Formal Methods for Components and Objects

by Frank S. De Boer (Editor), Marcello M. Bonsangue (Editor), Stefan Hallerstede (Editor)

Formal Methods for Components and Objects

by Elena Giachino (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Reiner Hähnle (Editor)

Formal Methods for Components and Objects

by Elena Giachino (Editor), Reiner Hähnle (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor), Reiner Hähnle (Editor)

Coalgebraic Methods in Computer Science

by Marcello M. Bonsangue (Editor)

Coalgebraic Methods in Computer Science

by Marcello M. Bonsangue (Editor)

Formal Methods for Components and Objects

by Bernhard Beckert (Editor), Ferruccio Damiani (Editor), Frank S. de Boer (Editor), Marcello M. Bonsangue (Editor)